Test Case Automatic Generation Research Based on AADL Behavior Annex
نویسندگان
چکیده
Test case generation is essential to software test. Software test efficiency can be greatly improved through test case automatic generation. AADL Behavior Annex is an extension of AADL which can describe detailed behavior of AADL component. In this paper, we discuss a test case automatic generation method based on the AADL Behavior Annex. This method contains two parts: automatic generation of test sequences and automatic generation of test data. The former generates test sequences through dominator analysis; the later uses subsection gradient descent algorithm to generate test data.
منابع مشابه
Research on the AADL Model for Risk Quantitative Analysis of Safety-critical Embedded Systems
Developing safety-critical systems almost always includes significant emphasis on risk analysis. Risk analysis is still largely qualitative and manual analysis. In this paper, we propose a quantitative analysis method of embedded systems based on the AADL model. Firstly, we extend the Error Model Annex with the RFMEA(Risk-based Failure Mode Effect Analysis) property to express the error effect ...
متن کاملFormal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude
AADL is a standard for modeling embedded systems that is widely used in avionics and other safety-critical applications. However, AADL lacks a formal semantics, and this severely limits both unambiguous communication among model developers, and the development of simulators and formal analysis tools. In this work we present a formal object-based real-time concurrent semantics for a behavioral s...
متن کاملAdding Formal Meanings to AADL with Hybrid Annex
AADL is a Model-Based Engineering language for architectural analysis and specification of real-time embedded systems with stringent performance requirements (e.g. fault-tolerance, security, safety-critical etc.). However, core AADL lacks of a mechanism for modeling continuous evolution of physical processes which are controlled by digital controllers. In our previous work, we have introduced H...
متن کاملA Formal Analysis Framework for AADL
As system failure of mission-critical embedded systems may result in serious consequences, the development process should include verification techniques already at the architectural design stage, in order to provide evidence that the architecture fulfils its requirements. The Architecture Analysis and Design Language (AADL) is a language designed for modeling embedded systems, and its Behavior...
متن کاملA System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs
The increasing complexity of new-generation systems which take into account interactions between hardware and software components, particularly the fault-tolerant systems, raises major preoccupations in various critical application domains.These preoccupations concern principally the modeling and analysis requirements of these systems.Thus, designers are interested in the verification of critic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011